Monadic Fuzzy Predicate Logics
نویسنده
چکیده
Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to nite model property (properties) and arithmetical complexity of sets of tautologies, satis-able formulas and of analogous notion restricted to nite models.
منابع مشابه
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
We consider intermediate predicate logics defined by fixed well-ordered (or dually well-ordered) linear Kripke frames with constant domains where the order-type of the well-order is strictly smaller than ω. We show that two such logics of different order-type are separated by a first-order sentence using only one monadic predicate symbol. Previous results by Minari, Takano and Ono, as well as t...
متن کاملOn Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics
In this paper we study generic expansions of predicate logics of some left-continuous t-norms (mainly Gödel and Nilpotent Minimum predicate logics) with a countable set of truth-constants. Using known results on tnorm based predicate fuzzy logics we obtain results on the conservativeness and completeness for the expansions of some predicate fuzzy logics. We describe the problem for the cases of...
متن کاملUndecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable. This holds true regardless of whether we consider semantics with expanding or constant domains. We then generalise this result to intervals [QBL,QKC] and [QBL,QFL], where QKC is the logic of the weak law...
متن کاملAdaptive Fuzzy Logics for Contextual Hedge Interpretation
The setting is that of an agent who needs to find out in which sense a predicate may have been used in a set of sentences received from a source. The agent should take into account both the logical constraints of the set of sentences and relevant semantic information concerning the predicate stored in his semantic memory. I present several adaptive fuzzy hedge logics. Each of these logics check...
متن کاملOn Elementary Extensions in Fuzzy Predicate Logics
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion, the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counterexample t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 71 شماره
صفحات -
تاریخ انتشار 2002